#include <stdio.h>

int main(int argc, char *argv[])
{

    int nums[4] = {0};
    int t, i, j, k;
    scanf("%d %d %d %d", &nums[0], &nums[1], &nums[2], &nums[3]);

    for (t = 3; t >= 0; t--)
    {
        for (i = 0; i < 4; i++)
        {
            if (i != t)
            {
                for (j = 0; j < 4; j++)
                {
                    if (j != i && j != t)
                    {
                        for (k = 0; k < 4; k++)
                        {
                            if (k != t && k != i && k != j)
                            {
                                printf("%d %d %d\n", nums[i], nums[j], nums[k]);
                            }
                        }
                    }
                }
            }
        }
    }

    return 0;
}